1. Closure properties and kripke models for fragments of heyting arithmetic
Author: by: Morteza Moniri,^AMoniri, Morteza
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
